compound
\\[0ex]order($T$;$R$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$refl($T$;$R$) \& trans($T$;$R$) \& anti\_sym($T$;$R$)